On formalizing the real numbers in homotopy type theory:
Created on February 9, 2023 at 10:52:51. See the history of this page for a list of all contributions to it.